/*
 * Driver_Serial.h
 *
 *  Created on: Nov 23, 2024
 *      Author: 60146
 */

#ifndef USER_INC_DRIVER_SERIAL_H_
#define USER_INC_DRIVER_SERIAL_H_

#include <stdio.h>
#include <string.h>

extern int __io_putchar(int ch);
extern void PRINTF(const char *fmt, ...);
extern void StartSerialMonitor(void);



#endif /* USER_INC_DRIVER_SERIAL_H_ */
